Boolean conjunctive query